prolog ii造句

例句与造句

1. Constraint programming originated from a formalization of equalities of terms in Prolog II, leading to a general framework for embedding constraints into a logic programming language.
2. They generalized the observation that the term equations and disequations of Prolog II were a specific form of constraints, and generalized this idea to arbitrary constraint languages.
3. In 1982, Alain Colmerauer shared with Henry Kanoui and Michel Van Caneghem la Pomme d Or du Logiciel Francais, an award from Apple France for the Prolog II implementation.
4. This variant of logic programming is due to Jaffar and Lassez, who extended in 1987 a specific class of constraints that were introduced in Prolog II . The first implementations of constraint logic programming were Prolog III, CLP ( R ), and CHIP.
5. It's difficult to find prolog ii in a sentence. 用prolog ii造句挺难的